\select@language {brazil}
\contentsline {section}{\numberline {1}Introdu\c c\~ao}{2}{section.1}
\contentsline {section}{\numberline {2}An\'alise Sem\^antica}{2}{section.2}
\contentsline {subsection}{\numberline {2.1}Verifica\c c\~ao e Convers\~ao de Tipos}{2}{subsection.2.1}
\contentsline {subsection}{\numberline {2.2}Verifica\c c\~ao Est\'atica}{2}{subsection.2.2}
\contentsline {section}{\numberline {3}Anexo - AnaliseSemantica.cup}{2}{section.3}
